p-Diapason : un langage pour la formalisation des architectures orientées services Web
نویسندگان
چکیده
This paper presents an architecture centric approach applied to Web services oriented architectures and Web services composition. We aim at providing a high level Web services choreography specific language: π-Diapason. This later is formally based on the πcalculus and reuses most characteristics of Web services choreography languages. We were interested in interpreting π-Diapason description by using a virtual machine in order to check its behaviour. To do this, we use a meta model checker called MMC and we extend it in order to cover and interpret the π-Diapason language. MOTS-CLÉS : Approche centrée architecture, architectures orientées services Web, orchestration, composition de services Web, π-calcul, π-Diapason, MMC.
منابع مشابه
Un modèle de classement de services par contribution et utilité
Résumé Les architectures orientées services (AOS) se sont imposées pour la construction d’applications web grâce à l’élaboration de standards ouverts et compatibles avec les technologies web existantes. Le nombre de services sur le web grandit chaque jour et les développeurs d’applications sont souvent confrontés au problème de choisir parmi les services disponibles. Cet article présente un mod...
متن کاملFormalisation des contrats structurels et de QdS d’une composition de services Web
Etablir et s’assurer de la qualité de service (QdS) d’un composant tel qu’un service Web représente un enjeu crucial puisque ceci permet d’établir une relation de confiance entre le fournisseur d’un service et un client en attente d’une certaine fiabilité. Cependant, contrairement aux spécifications bien établies dans le domaine fonctionnel des services Web (telles que WSDL, SOAP ou UDDI), il n...
متن کاملG-OWL : Vers un langage de modélisation graphique, polymorphique et typé pour la construction d'une ontologie dans la notation OWL
Résumé : Le Web Ontology Language (OWL) standardisé par le W3C a pour objectif d’offrir un langage de conception d’ontologies pour le web sémantique. L’ingénierie d’une ontologie est une activité complexe nécessitant une habilité peu accessible à des experts de contenu. En revanche, pour modéliser du contenu métier, la modélisation graphique semi-formelle est une technique souvent employée pour...
متن کاملUtilisation des technologies XML pour la formalisation de l'ontologie de modèles e-business
Résumé. Notre travail de recherche consiste à représenter l’ontologie des modèles e-business e-BMO par le langage BM2L spécifié sur la base d’un méta-modèle XML. BM2L est comparé à d’autres langages de définition d’ontologie à savoir, RDF(S), DAML + OIL et OWL et ce, selon un framework établis sur les spécificités de cette ontologie. Aussi, introduisonsnous une application Web e-BMH pour la con...
متن کاملSPARQL Template : un langage de pretty printing pour RDF
RDF est un langage de représentation de connaissances basé sur des graphes étiquetés, conçu par le W3C pour le Web sémantique et le Web des données. En tant que langage d’échange pivot, il peut être utilisé pour représenter des arbres de syntaxe abstraite (AST) de langages. Par exemple le langage OWL a plusieurs syntaxes dont une syntaxe fonctionnelle et une syntaxe RDF, de même que le langage ...
متن کامل